home *** CD-ROM | disk | FTP | other *** search
/ Language/OS - Multiplatform Resource Library / LANGUAGE OS.iso / b / b.lha / B / ex / README < prev   
Encoding:
Text File  |  1988-11-24  |  990 b   |  24 lines
  1. The subdirectories here represent B work spaces, with example B units.
  2.  
  3. With 'make examples', the B interpreter in ../lib/bint is tested (via the
  4. shell command '../bin/b') on the following four examples:
  5.  
  6.     generate    generates new sentences based on those supplied
  7.             by the user;
  8.     hanoi        the towers of hanoi;
  9.     pi        calculates the value of pi, using the unbounded
  10.             arithmetic of B;
  11.     xref        a cross reference generator.
  12.  
  13. For more information on these programs, see the B Newsletter, Issue 2.
  14.  
  15. When you are on a small system, '../lib/bsmall' is used as the B interpreter.
  16. Because the output of the examples is different in this case, you should use
  17. 'make smallexamples' to test it. The pi example will not work at all, because
  18. bsmall uses bounded arithmetic.
  19.  
  20. The B editor ../lib/bed can only be tested by calling ../bin/b interactively.
  21. For this the 'try' work space has been created from the 'generate' example,
  22. so you can always regenerate it. For more information see the README in ./try.
  23.  
  24.